$\forall$${\it the\_w}$:World, $i$:Id, $t$:$\mathbb{N}$. a($i$;$t$) $\in$ Action($i$)